[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 138 64 71 189 104 0 90 456

N.S.

1 1.02 0.47 0.53 1.40 0.77 0.00 0.67 3.38

time (sec)

N/A 0.773 1.463 41.609 0.322 0.264 0.000 0.860 19.273

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 54 73 163 88 0 58 446

N.S.

1 1.00 0.61 0.83 1.85 1.00 0.00 0.66 5.07

time (sec)

N/A 0.515 0.504 3.442 0.334 0.272 0.000 0.738 18.939

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 55 46 136 74 0 62 441

N.S.

1 1.00 1.34 1.12 3.32 1.80 0.00 1.51 10.76

time (sec)

N/A 0.296 0.117 3.775 0.316 0.261 0.000 0.689 19.906

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 185 60 211 0 401 0 119 0

N.S.

1 1.02 0.33 1.17 0.00 2.22 0.00 0.66 0.00

time (sec)

N/A 0.956 0.753 3.408 0.000 0.340 0.000 0.474 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 220 64 275 0 483 0 154 0

N.S.

1 1.04 0.30 1.30 0.00 2.28 0.00 0.73 0.00

time (sec)

N/A 1.169 0.835 3.577 0.000 0.347 0.000 0.583 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 256 64 272 0 461 0 184 0

N.S.

1 1.04 0.26 1.11 0.00 1.87 0.00 0.75 0.00

time (sec)

N/A 1.377 0.999 3.538 0.000 0.366 0.000 0.713 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 70 88 638 93 0 0 136

N.S.

1 1.00 1.63 2.05 14.84 2.16 0.00 0.00 3.16

time (sec)

N/A 0.320 0.801 3.337 0.392 0.261 0.000 0.000 15.320

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 60 74 298 78 0 0 78

N.S.

1 1.00 1.40 1.72 6.93 1.81 0.00 0.00 1.81

time (sec)

N/A 0.331 0.617 3.461 0.366 0.272 0.000 0.000 14.006

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 51 47 55 56 0 0 47

N.S.

1 1.00 1.24 1.15 1.34 1.37 0.00 0.00 1.15

time (sec)

N/A 0.323 0.323 3.299 0.342 0.274 0.000 0.000 13.506

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 54 98 92 0 0 0 0

N.S.

1 1.00 1.06 1.92 1.80 0.00 0.00 0.00 0.00

time (sec)

N/A 0.336 0.322 3.268 0.337 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 50 514 79 0 0 118

N.S.

1 1.00 1.00 1.19 12.24 1.88 0.00 0.00 2.81

time (sec)

N/A 0.332 0.509 3.219 0.379 0.268 0.000 0.000 14.622

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 56 67 758 106 0 0 203

N.S.

1 1.00 1.30 1.56 17.63 2.47 0.00 0.00 4.72

time (sec)

N/A 0.336 0.534 3.367 0.463 0.265 0.000 0.000 18.108

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 84 107 1680 112 0 0 294

N.S.

1 1.00 0.94 1.20 18.88 1.26 0.00 0.00 3.30

time (sec)

N/A 0.591 2.933 3.603 0.409 0.283 0.000 0.000 17.665

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 87 96 1105 112 0 0 195

N.S.

1 1.00 0.98 1.08 12.42 1.26 0.00 0.00 2.19

time (sec)

N/A 0.580 1.619 3.543 0.393 0.280 0.000 0.000 17.210

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 64 83 550 82 0 0 108

N.S.

1 1.00 0.72 0.93 6.18 0.92 0.00 0.00 1.21

time (sec)

N/A 0.565 0.703 3.406 0.417 0.273 0.000 0.000 14.723

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 66 54 56 76 0 0 76

N.S.

1 1.00 1.53 1.26 1.30 1.77 0.00 0.00 1.77

time (sec)

N/A 0.319 0.408 3.799 0.328 0.259 0.000 0.000 14.088

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 62 128 275 0 0 0 0

N.S.

1 1.00 0.65 1.35 2.89 0.00 0.00 0.00 0.00

time (sec)

N/A 0.561 0.412 3.830 0.389 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 70 199 122 0 0 0 0

N.S.

1 1.00 0.71 2.01 1.23 0.00 0.00 0.00 0.00

time (sec)

N/A 0.571 0.588 3.399 0.318 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 65 533 95 0 0 165

N.S.

1 1.00 1.00 1.55 12.69 2.26 0.00 0.00 3.93

time (sec)

N/A 0.337 0.861 3.590 0.421 0.268 0.000 0.000 16.765

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 68 77 1559 133 0 0 273

N.S.

1 1.00 0.77 0.88 17.72 1.51 0.00 0.00 3.10

time (sec)

N/A 0.582 1.694 3.227 0.804 0.269 0.000 0.000 18.890

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 68 87 2608 158 0 0 340

N.S.

1 1.00 0.74 0.95 28.35 1.72 0.00 0.00 3.70

time (sec)

N/A 0.570 4.356 3.335 3.321 0.278 0.000 0.000 19.886

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 68 97 3906 184 0 0 407

N.S.

1 1.00 0.74 1.05 42.46 2.00 0.00 0.00 4.42

time (sec)

N/A 0.578 5.381 3.577 16.645 0.280 0.000 0.000 19.241

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 138 92 111 2454 152 0 0 307

N.S.

1 1.03 0.69 0.83 18.31 1.13 0.00 0.00 2.29

time (sec)

N/A 0.813 4.304 1.501 0.430 0.260 0.000 0.000 17.764

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 138 76 101 1526 106 0 0 215

N.S.

1 1.03 0.57 0.75 11.39 0.79 0.00 0.00 1.60

time (sec)

N/A 0.816 1.229 1.665 0.404 0.272 0.000 0.000 17.358

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 88 87 1106 112 0 0 195

N.S.

1 1.00 0.99 0.98 12.43 1.26 0.00 0.00 2.19

time (sec)

N/A 0.557 0.833 3.662 0.394 0.262 0.000 0.000 16.854

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 70 58 58 93 0 0 136

N.S.

1 1.00 1.63 1.35 1.35 2.16 0.00 0.00 3.16

time (sec)

N/A 0.323 0.431 3.794 0.322 0.258 0.000 0.000 14.985

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 142 76 148 737 0 0 0 0

N.S.

1 1.01 0.54 1.05 5.23 0.00 0.00 0.00 0.00

time (sec)

N/A 0.815 0.369 3.606 0.412 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 143 78 235 2035 0 0 0 0

N.S.

1 0.99 0.54 1.62 14.03 0.00 0.00 0.00 0.00

time (sec)

N/A 0.828 0.719 3.618 0.515 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

145 149 81 272 169 0 0 0 0

N.S.

1 1.03 0.56 1.88 1.17 0.00 0.00 0.00 0.00

time (sec)

N/A 0.821 1.301 3.595 0.310 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 71 1815 126 0 0 199

N.S.

1 1.00 1.00 1.69 43.21 3.00 0.00 0.00 4.74

time (sec)

N/A 0.326 1.808 3.612 0.414 0.272 0.000 0.000 17.870

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 78 81 2719 166 0 0 350

N.S.

1 1.00 0.89 0.92 30.90 1.89 0.00 0.00 3.98

time (sec)

N/A 0.575 3.977 3.522 3.264 0.271 0.000 0.000 18.646

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 138 78 91 4108 194 0 0 419

N.S.

1 1.04 0.59 0.68 30.89 1.46 0.00 0.00 3.15

time (sec)

N/A 0.841 5.425 3.619 17.083 0.284 0.000 0.000 18.618

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 141 74 137 737 0 0 160 0

N.S.

1 1.01 0.53 0.99 5.30 0.00 0.00 1.15 0.00

time (sec)

N/A 0.807 0.620 3.785 0.404 0.000 0.000 1.554 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 60 116 276 0 0 129 0

N.S.

1 1.00 0.64 1.23 2.94 0.00 0.00 1.37 0.00

time (sec)

N/A 0.549 0.485 3.616 0.393 0.000 0.000 1.341 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 50 75 64 0 0 59 0

N.S.

1 1.00 1.00 1.50 1.28 0.00 0.00 1.18 0.00

time (sec)

N/A 0.306 0.232 3.682 0.305 0.000 0.000 1.166 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 65 44 204 0 70 0

N.S.

1 1.00 1.00 1.38 0.94 4.34 0.00 1.49 0.00

time (sec)

N/A 0.386 0.289 3.239 0.360 0.311 0.000 1.619 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 75 115 406 382 0 92 0

N.S.

1 1.00 0.79 1.21 4.27 4.02 0.00 0.97 0.00

time (sec)

N/A 0.619 0.486 3.594 0.378 0.341 0.000 1.881 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 145 83 157 1201 456 0 122 0

N.S.

1 1.04 0.59 1.12 8.58 3.26 0.00 0.87 0.00

time (sec)

N/A 0.909 0.976 3.637 0.429 0.348 0.000 1.711 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 141 84 192 2035 0 0 161 0

N.S.

1 0.99 0.59 1.35 14.33 0.00 0.00 1.13 0.00

time (sec)

N/A 0.813 0.635 3.681 0.490 0.000 0.000 1.535 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 70 148 99 0 0 79 0

N.S.

1 1.00 0.74 1.56 1.04 0.00 0.00 0.83 0.00

time (sec)

N/A 0.560 0.421 3.376 0.306 0.000 0.000 1.495 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 56 54 78 0 36 50

N.S.

1 1.00 1.00 1.33 1.29 1.86 0.00 0.86 1.19

time (sec)

N/A 0.310 1.116 3.572 0.312 0.265 0.000 1.240 14.626

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 60 100 397 380 0 95 0

N.S.

1 1.00 0.63 1.05 4.18 4.00 0.00 1.00 0.00

time (sec)

N/A 0.644 0.352 3.585 0.383 0.318 0.000 1.900 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 77 64 115 567 402 0 120 0

N.S.

1 0.74 0.62 1.11 5.45 3.87 0.00 1.15 0.00

time (sec)

N/A 0.499 0.412 3.509 0.406 0.325 0.000 2.088 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 122 102 216 0 544 0 153 0

N.S.

1 0.84 0.70 1.48 0.00 3.73 0.00 1.05 0.00

time (sec)

N/A 0.779 0.623 3.616 0.000 0.351 0.000 1.919 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 88 218 133 0 0 114 0

N.S.

1 1.00 0.61 1.50 0.92 0.00 0.00 0.79 0.00

time (sec)

N/A 0.823 0.722 3.541 0.299 0.000 0.000 1.350 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 51 67 98 95 0 59 119

N.S.

1 1.00 1.21 1.60 2.33 2.26 0.00 1.40 2.83

time (sec)

N/A 0.341 0.522 2.385 0.316 0.264 0.000 1.535 15.261

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 71 58 58 104 0 37 120

N.S.

1 1.00 1.65 1.35 1.35 2.42 0.00 0.86 2.79

time (sec)

N/A 0.327 1.165 3.506 0.327 0.262 0.000 1.485 14.609

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 145 70 138 1191 456 0 124 0

N.S.

1 1.04 0.50 0.99 8.51 3.26 0.00 0.89 0.00

time (sec)

N/A 0.933 0.350 2.307 0.433 0.342 0.000 1.763 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 122 102 215 0 536 0 151 0

N.S.

1 0.84 0.70 1.47 0.00 3.67 0.00 1.03 0.00

time (sec)

N/A 0.777 0.520 2.474 0.000 0.350 0.000 1.896 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 102 77 158 1659 482 0 182 0

N.S.

1 0.64 0.48 0.99 10.37 3.01 0.00 1.14 0.00

time (sec)

N/A 0.604 0.564 2.289 0.552 0.351 0.000 1.860 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 101 95 0 0 0 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 0.677 0.000 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

92 92 89 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.315 0.285 0.000 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

90 90 85 0 0 0 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.271 0.191 0.000 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

90 90 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.313 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

92 92 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.309 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

160 159 109 0 228 191 0 0 0

N.S.

1 0.99 0.68 0.00 1.42 1.19 0.00 0.00 0.00

time (sec)

N/A 0.804 0.817 0.000 0.329 0.292 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

100 102 72 0 171 112 0 0 154

N.S.

1 1.02 0.72 0.00 1.71 1.12 0.00 0.00 1.54

time (sec)

N/A 0.503 0.516 0.000 0.350 0.274 0.000 0.000 15.508

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F B A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

46 46 163 0 114 70 0 0 0

N.S.

1 1.00 3.54 0.00 2.48 1.52 0.00 0.00 0.00

time (sec)

N/A 0.282 1.697 0.000 0.328 0.276 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

69 69 67 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.325 0.366 0.000 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

74 74 74 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.333 0.427 0.000 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

74 74 74 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.336 0.459 0.000 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

169 168 104 0 156 120 0 0 290

N.S.

1 0.99 0.62 0.00 0.92 0.71 0.00 0.00 1.72

time (sec)

N/A 0.817 2.473 0.000 0.310 0.287 0.000 0.000 22.279

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 106 76 97 107 93 0 0 145

N.S.

1 1.02 0.73 0.93 1.03 0.89 0.00 0.00 1.39

time (sec)

N/A 0.538 1.085 5.438 0.315 0.268 0.000 0.000 19.408

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 49 76 62 72 0 0 105

N.S.

1 1.00 1.04 1.62 1.32 1.53 0.00 0.00 2.23

time (sec)

N/A 0.302 0.793 5.239 0.324 0.265 0.000 0.000 14.551

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 101 104 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.336 0.541 0.000 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 99 105 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.344 1.289 0.000 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 101 105 0 0 0 0 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.360 2.694 0.000 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 104 68 137 172 131 0 145 175

N.S.

1 0.99 0.65 1.30 1.64 1.25 0.00 1.38 1.67

time (sec)

N/A 0.399 0.228 4.052 0.231 0.269 0.000 0.349 17.843

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 78 57 126 160 117 0 128 146

N.S.

1 0.91 0.66 1.47 1.86 1.36 0.00 1.49 1.70

time (sec)

N/A 0.363 0.135 3.808 0.225 0.272 0.000 0.319 16.592

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 34 36 35 51 15 15

N.S.

1 1.00 1.00 2.00 2.12 2.06 3.00 0.88 0.88

time (sec)

N/A 0.294 0.013 1.974 0.230 0.249 0.853 0.297 13.273

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 57 154 78 194 105 0 87 71

N.S.

1 1.02 2.75 1.39 3.46 1.88 0.00 1.55 1.27

time (sec)

N/A 0.477 0.599 0.726 0.246 0.275 0.000 0.302 13.561

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 73 48 60 144 123 0 81 44

N.S.

1 1.04 0.69 0.86 2.06 1.76 0.00 1.16 0.63

time (sec)

N/A 0.569 0.352 0.583 0.233 0.266 0.000 0.319 13.155

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 88 47 36 115 78 0 37 35

N.S.

1 1.02 0.55 0.42 1.34 0.91 0.00 0.43 0.41

time (sec)

N/A 0.519 0.155 0.748 0.225 0.268 0.000 0.323 13.288

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

140 138 325 0 0 0 0 0 0

N.S.

1 0.99 2.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.422 3.025 0.000 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

65 65 72 0 0 0 0 0 0

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 0.248 0.000 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

180 181 3396 0 0 0 0 0 0

N.S.

1 1.01 18.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.720 14.787 0.000 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

226 229 187 0 0 0 0 0 0

N.S.

1 1.01 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.046 1.985 0.000 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 127 162 189 979 340 0 0 0

N.S.

1 1.22 1.56 1.82 9.41 3.27 0.00 0.00 0.00

time (sec)

N/A 0.450 4.330 5.285 0.455 0.343 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 99 73 107 0 260 0 132 0

N.S.

1 1.22 0.90 1.32 0.00 3.21 0.00 1.63 0.00

time (sec)

N/A 0.416 1.677 2.405 0.000 0.281 0.000 0.824 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 157 724 255 1310 462 0 0 0

N.S.

1 1.12 5.17 1.82 9.36 3.30 0.00 0.00 0.00

time (sec)

N/A 0.464 11.248 5.046 0.449 0.311 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 135 236 124 536 330 0 0 0

N.S.

1 1.16 2.03 1.07 4.62 2.84 0.00 0.00 0.00

time (sec)

N/A 0.481 3.920 3.067 0.418 0.276 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 198 328 222 1400 569 0 0 0

N.S.

1 1.11 1.83 1.24 7.82 3.18 0.00 0.00 0.00

time (sec)

N/A 0.530 3.071 5.196 0.453 0.379 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 94 101 56 255 0 0 0

N.S.

1 1.00 2.04 2.20 1.22 5.54 0.00 0.00 0.00

time (sec)

N/A 0.461 1.760 2.581 0.399 0.342 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

65 65 98 402 0 357 0 0 0

N.S.

1 1.00 1.51 6.18 0.00 5.49 0.00 0.00 0.00

time (sec)

N/A 0.340 0.592 18.878 0.000 0.423 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 252 153 237 379 281 0 566 361

N.S.

1 1.07 0.65 1.00 1.61 1.19 0.00 2.40 1.53

time (sec)

N/A 1.398 1.798 5.160 0.233 0.279 0.000 0.390 17.120

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 182 103 185 266 211 0 380 255

N.S.

1 1.06 0.60 1.08 1.56 1.23 0.00 2.22 1.49

time (sec)

N/A 1.023 0.521 4.002 0.223 0.284 0.000 0.356 17.051

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 114 75 118 165 150 0 232 196

N.S.

1 1.06 0.69 1.09 1.53 1.39 0.00 2.15 1.81

time (sec)

N/A 0.691 0.312 3.179 0.214 0.271 0.000 0.332 16.372

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 59 75 75 88 96 0 124 111

N.S.

1 1.05 1.34 1.34 1.57 1.71 0.00 2.21 1.98

time (sec)

N/A 0.425 0.027 2.195 0.207 0.267 0.000 0.303 14.433

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 107 90 0 255 0 127 195

N.S.

1 1.00 1.55 1.30 0.00 3.70 0.00 1.84 2.83

time (sec)

N/A 0.492 0.761 0.716 0.000 0.305 0.000 0.328 13.829

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 90 75 105 0 357 0 137 85

N.S.

1 1.14 0.95 1.33 0.00 4.52 0.00 1.73 1.08

time (sec)

N/A 0.474 0.769 0.659 0.000 0.286 0.000 0.319 13.473

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 149 167 178 0 736 0 263 171

N.S.

1 1.14 1.27 1.36 0.00 5.62 0.00 2.01 1.31

time (sec)

N/A 0.720 1.537 0.793 0.000 0.310 0.000 0.358 15.425

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 216 247 271 0 1278 0 449 321

N.S.

1 1.14 1.31 1.43 0.00 6.76 0.00 2.38 1.70

time (sec)

N/A 1.071 3.648 1.061 0.000 0.359 0.000 0.367 16.761

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

327 390 180 361 683 387 0 736 484

N.S.

1 1.19 0.55 1.10 2.09 1.18 0.00 2.25 1.48

time (sec)

N/A 0.547 6.186 5.925 0.219 0.278 0.000 0.414 17.084

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 302 140 269 469 294 0 506 394

N.S.

1 1.25 0.58 1.11 1.94 1.21 0.00 2.09 1.63

time (sec)

N/A 0.458 3.455 5.180 0.220 0.286 0.000 0.390 17.060

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 269 100 202 324 209 0 320 237

N.S.

1 1.53 0.57 1.15 1.84 1.19 0.00 1.82 1.35

time (sec)

N/A 0.404 1.675 4.360 0.214 0.272 0.000 0.351 17.204

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 92 63 120 167 138 0 178 161

N.S.

1 0.89 0.61 1.17 1.62 1.34 0.00 1.73 1.56

time (sec)

N/A 0.563 0.730 2.933 0.205 0.271 0.000 0.315 16.210

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B C A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 201 329 150 0 398 0 196 529

N.S.

1 2.12 3.46 1.58 0.00 4.19 0.00 2.06 5.57

time (sec)

N/A 0.406 2.848 0.807 0.000 0.415 0.000 0.352 14.258

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 230 312 157 0 567 0 230 2563

N.S.

1 1.97 2.67 1.34 0.00 4.85 0.00 1.97 21.91

time (sec)

N/A 0.415 2.440 0.809 0.000 0.418 0.000 0.363 16.422

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 224 249 167 0 622 0 211 158

N.S.

1 1.72 1.92 1.28 0.00 4.78 0.00 1.62 1.22

time (sec)

N/A 0.363 1.845 0.801 0.000 0.311 0.000 0.387 15.301

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 307 211 228 0 1234 0 403 286

N.S.

1 1.44 0.99 1.07 0.00 5.79 0.00 1.89 1.34

time (sec)

N/A 0.433 3.980 1.054 0.000 0.341 0.000 0.413 16.584

[next] [prev] [prev-tail] [front] [up]